<?php
//echo __FILE__;
//echo '<hr />';
//print_r($_GET);

$html_file = 'file/php/'.$_GET['file'];
?>